doc: Minor edit for a gpg option.
authorWerner Koch <wk@gnupg.org>
Tue, 14 May 2019 08:07:06 +0000 (10:07 +0200)
committerDaniel Kahn Gillmor <dkg@fifthhorseman.net>
Thu, 22 Aug 2019 19:11:59 +0000 (20:11 +0100)
commitb4bae3723ae0ce139cbe79055029ff212f2eda6a
tree1604c39aaf0f8575b90153d8549ae0a81effda9a
parentdd75219b0b363a172c554e49ea82311c8adde5c7
doc: Minor edit for a gpg option.

--
GnuPG-bug-id: 4507

(cherry picked from commit 49a679eb3596ef273afacb49ef9044c4a063694b)

Gbp-Pq: Topic from-2.2.16
Gbp-Pq: Name doc-Minor-edit-for-a-gpg-option.patch
doc/gpg.texi